https://dasbestelexikon.de/en/wiki/Category:Films_set_in_opera_houses